Formal Timing Analysis of mixed Music Scores
نویسندگان
چکیده
Interactive music systems coordinate in real-time an artificial perception of dynamics of human musicians with timely execution of machine reactions. As every human performance will differ from another, it is a challenging task to be able to predict the behavior or such systems in response to any possible performance, and prevent unwanted outcomes. We present here the application of formal models and methods from the real-time systems verification literature to the static analysis of interactive music systems.We consider in particular the good parameters problem, which consists in synthesizing a set of timing parameter valuations (representing performances here) guarantying a good behavior of the system analyzed. The methods presented have been applied to the system Antescofo, and are general enough to apply to other interactive music systems.
منابع مشابه
Model-based testing for building reliable realtime interactive music systems
The role of an Interactive Music System (IMS) is to accompany musicians during live performances, acting like a real musician. It must react in realtime to audio signals from musicians, according to a timed high-level requirement called mixed score, written in a domain specific language. Such goals imply strong requirements of temporal reliability and robustness to unforeseen errors in input, y...
متن کاملExpressive timing analysis in classical piano performance by mathematical model selection
Given a piece of music, the timing of each beat varies from performer to performer. The study of these small differences is known as expressive timing analysis. Research into expressive timing helps us to understand human perception of music and the production of enjoyable music. Classical piano music is one music style where it is possible to measure expressive timing and hence provides a prom...
متن کاملTest Methods for Score-Based Interactive Music Systems
Score-Based Interactive Music Systems (SBIMS) are involved in live performances with human musicians, reacting in realtime to audio signals and asynchronous incoming events according to a pre-specified timed scenario called a mixed score. This implies strong requirements of reliability and robustness to unforeseen errors in input. In this paper, we present the application of formal methods for ...
متن کاملRelationship between Intelligence Quotient and Musical Ability in Children with Cochlear Implantation
Introduction: Children with cochlear implants (CIs) may experience few opportunities for positive musical experiences, and musical perception is therefore often not sufficiently developed. This paper investigates and discusses the relationship between intelligence quotient (IQ) and musical ability in children with CIs compared with children with normal hearing. ...
متن کاملThe Guido Engine A toolbox for music scores rendering
The Guido Music Notation format (GMN) is a general purpose formal language for representing score level music in a platform independent plain text and human readable way. Based on this music representation format, the GuidoLib provides a generic, portable library and API for the graphical rendering of musical scores. This paper gives an introduction to the music notation format and to the Guido...
متن کامل